Microsoft Word - writproj_title.doc

Source URL: www.cs.sjsu.edu

• Proof assistants
• Software
• Programming language theory
• Functional languages
• Type theory
• Coq
• Agda
• Theorem
• Metamath
• Coenzyme Q10
• Mathematical proof
• Mathematical logic

Practical Type Inference Based on Success Typings Tobias Lindahl 1 Konstantinos Sagonas 1,2 1

Source URL: www.it.uu.se

• Software engineering
• Computing
• Computer programming
• Type theory
• Concurrent programming languages
• Type systems
• Functional languages
• Data types
• Erlang
• Type inference
• Scala
• HindleyMilner type system

Introduction to Supercompilation Morten Heine B. S
rensen and Robert Gluck Department of Computer Science, University of Copenhagen (DIKU) Universitetsparken 1, DK-2100 Copenhagen , Denmark , glueck@diku.d

Source URL: repository.readscheme.org

• Higher-order functions
• Programming language comparisons
• Functional languages
• Refal
• Orders of magnitude
• Fold
• Substitution
• Ys
• Map
• Standard ML
• Haskell features

Lazy Memo-functions John Hughes Programming Methodology Group Department of Computer Science Chalmers University of Technology SG~teborg, Sweden

Source URL: www.cse.chalmers.se

• Software engineering
• Computer programming
• Declarative programming
• Lambda calculus
• Functional programming
• Functional languages
• Subroutines
• Theoretical computer science
• Eval
• Lazy evaluation
• Lisp
• Anonymous function

Version Date API 2.0 for wm 

Source URL: writemonkey.com

• Software engineering
• Computing
• Computer programming
• Cross-platform software
• Functional languages
• Scripting languages
• Web programming
• Concurrent programming languages
• JavaScript
• Java
• C Sharp

PreparedJS: Secure Script-Templates for JavaScript Martin Johns SAP Research Abstract. Content Security Policies (CSP) provide powerful means to

Source URL: dl.dropboxusercontent.com

• Computing
• Software engineering
• Computer security
• Hacking
• Functional languages
• Web programming
• JavaScript
• Content Security Policy
• Cross-site scripting
• Same-origin policy
• JSON
• Code injection

GNU Emacs Reference Card (for version 24) Starting Emacs To enter GNU Emacs 24, just type its name: emacs

Source URL: www.acrc.bris.ac.uk

• Text editors
• User interface techniques
• Scripting languages
• Emacs
• GNU Emacs
• Functional languages
• Keyboard shortcut
• Dired
• Lisp
• Monad
• Incremental search
• Sed

Functional languages in games: Plotting the coup Sam Martin AngloHaskell 2009 (Quick slide about me)

Source URL: www.palgorithm.co.uk

Compiler Copyright © Ericsson AB. All Rights Reserved. CompilerDecember 15, 2015 Copyright © Ericsson AB. All Rights Reserved.

Source URL: erlang.org

• Concurrent programming languages
• Compiler construction
• Functional languages
• Object-oriented programming languages
• Pascal
• Erlang
• Objective-C
• Compiler
• Perl module
• Directive

Dual System Encryption via Doubly Selective Security: Framework, Fully-secure Functional Encryption for Regular Languages, and More Nuttapong Attrapadung (Nuts)

Source URL: ec14.compute.dtu.dk